Enumeration 1-genericity in the Local Enumeration Degrees
نویسندگان
چکیده
We discuss a notion of forcing that characterises enumeration 1genericity and we investigate the immunity, lowness and quasiminimality properties of enumeration 1-generic sets and their degrees. We construct an enumeration operator ∆ such that, for any A, the set ∆ is enumeration 1-generic and has the same jump complexity as A. We also prove that every nonzero ∆ 2 degree bounds a nonzero enumeration 1-generic ∆ 2 degree. We deduce from these results and the properties of good degrees that, not only does every degree a bound an enumeration 1-generic degree b such that a = b, but also that, if a is good and nonzero, then we can find such b satisfying 0e < b < a. We conclude by proving the existence of both a nonzero low and a properly Σ02 nonsplittable enumeration 1-generic degree hence proving that the class of 1-generic degrees is properly subsumed by the class of enumeration 1-generic degrees.
منابع مشابه
On Kalimullin pairs
We study Kalimullin pairs, a definable class (of pairs) of enumeration degrees that has been used to give first-order definitions of other important classes and relations, including the enumeration jump and the total enumeration degrees. We show that the global definition of Kalimullin pairs is also valid in the local structure of the enumeration degrees, giving a simpler local definition than ...
متن کاملGenericity and Non-bounding in the Enumeration degrees
The structure of the semi lattice of enumeration degrees has been investigated from many aspects. One aspect is the bounding and nonbounding properties of generic degrees. Copestake proved that every 2-generic enumeration degree bounds a minimal pair and conjectured that there exists a 1-generic degree that does not bound a minimal pair. In this paper we verify this longstanding conjecture by c...
متن کاملThe limitations of cupping in the local structure of the enumeration degrees
We prove that a sequence of sets containing representatives of cupping partners for every nonzero ∆2 enumeration degree cannot have a ∆ 0 2 enumeration. We also prove that no subclass of the Σ 2 enumeration degrees containing the nonzero 3-c.e. enumeration degrees can be cupped to 0e by a single incomplete Σ 2 enumeration degree.
متن کاملThe high/low hierarchy in the local structure of the ω-enumeration degrees
This paper gives two definability results in the local theory of the ω-enumeration degrees. First we prove that the local structure of the enumeration degrees is first order definable as a substructure of the ω-enumeration degrees. Our second result is the definability of the the classes Hn and Ln of the highn and lown ω-enumeration degrees. This allows us to deduce that the first order theory ...
متن کاملDefinability via Kalimullin Pairs in the Structure of the Enumeration Degrees
We give an alternative definition of the enumeration jump operator. We prove that the class of total enumeration degrees and the class of low enumeration degrees are first order definable in the local structure of the enumeration degrees.
متن کامل